Partition calculus（划分演算）：集合论与组合数学中的一个研究领域，主要用来描述当把一个集合（常是无限集合）按某种方式“划分/着色”后，在足够大的基数规模下必然会出现某种规定的同质结构（典型地与 Ramsey 理论相关），常用箭头记号表达，如 \( \kappa \rightarrow (\lambda)^n_r \)。
/ pɑːrˈtɪʃən ˈkælkjʊləs /
Partition calculus studies what patterns must appear in any coloring of a large set.
划分演算研究：对一个足够大的集合进行任意着色时，哪些模式必然会出现。
Using partition calculus, we can express Ramsey-type results for infinite cardinals with arrow notation.
利用划分演算，我们可以用箭头记号来表述关于无限基数的 Ramsey 型结论。
partition 来自拉丁语 partitio（“分配、划分”），强调把整体分成部分；calculus 原义是“计算用的小石子”（拉丁语 calculus），后来引申为“计算方法/演算体系”。合起来的 partition calculus 字面即“关于划分的演算”，在数学语境中特指用形式化记号与推理来处理“划分/着色必然导致何种结构”的理论框架（与 Erdős–Rado 的工作关系尤深）。
Select Language